Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1

Infinitesimals from Leibniz to Robinson time to bring them back to school

Année:
1986
Langue:
english
Fichier:
PDF, 2.19 MB
english, 1986
2

Fundamentals of forking

Année:
1984
Langue:
english
Fichier:
PDF, 2.62 MB
english, 1984
3

Set existence axioms for general (not necessarily countable) stability theory

Année:
1987
Langue:
english
Fichier:
PDF, 822 KB
english, 1987
4

Refinements of Vaught's Normal from Theorem

Année:
1979
Langue:
english
Fichier:
PDF, 446 KB
english, 1979
7

Effective proper procedures and universal classes of program schemata

Année:
1975
Langue:
english
Fichier:
PDF, 906 KB
english, 1975
8

A two cardinal theorem for sets of formulas in a stable theory

Année:
1975
Langue:
english
Fichier:
PDF, 764 KB
english, 1975
9

New axiomatizations for logics with generalized quantifiers

Année:
1979
Langue:
english
Fichier:
PDF, 1.05 MB
english, 1979
10

Prime extensions and categoricity in power

Année:
1971
Langue:
english
Fichier:
PDF, 671 KB
english, 1971
11

Lambek's Categorical Proof Theory and Läuchli's Abstract Realizability

Année:
1992
Langue:
english
Fichier:
PDF, 2.49 MB
english, 1992
13

Applications of Vaught Sentences and the Covering Theorem

Année:
1976
Langue:
english
Fichier:
PDF, 397 KB
english, 1976
14

Approximation Theorems and Model Theoretic Forcing

Année:
1976
Langue:
english
Fichier:
PDF, 324 KB
english, 1976
15

ω 1 -Like Recursively Saturated Models of Presburger's Arithmetic

Année:
1986
Langue:
english
Fichier:
PDF, 250 KB
english, 1986
16

ω 1-like recursively saturated models of Presburger's arithmetic

Année:
1986
Langue:
english
Fichier:
PDF, 717 KB
english, 1986
17

Provably total functions of intuitionistic bounded arithmetic

Année:
1992
Langue:
english
Fichier:
PDF, 885 KB
english, 1992
18

Stability theory and set existence axioms

Année:
1985
Langue:
english
Fichier:
PDF, 1.04 MB
english, 1985
19

Game sentences, recursive saturation and definability

Année:
1980
Langue:
english
Fichier:
PDF, 831 KB
english, 1980
20

Applications of vaught sentences and the covering theorem

Année:
1976
Langue:
english
Fichier:
PDF, 1.11 MB
english, 1976
21

Approximation theorems and model theoretic forcing

Année:
1976
Langue:
english
Fichier:
PDF, 966 KB
english, 1976
24

On the Existence of Saturated Models of Stable Theories

Année:
1975
Langue:
english
Fichier:
PDF, 225 KB
english, 1975